Atomicity failure and the retrenchment atomicity pattern
نویسندگان
چکیده
منابع مشابه
Pretending Atomicity
Corporation. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors and do not reflect the views of these agencies. This work may not be copied or reproduced in whole or in part for any commercial purpose. Permission to copy in whole or in part without payment of fee is granted for nonprofit educational and research purposes provided th...
متن کاملCausal Atomicity
Atomicity is an important generic specification that assures that a programmer can pretend blocks occur sequentially in any execution. We define a notion of atomicity based on causality. We model the control flow of a program with threads using a Petri net that naturally abstracts data, and faithfully captures the independence and interaction between threads. The causality between events in the...
متن کاملTransactions: From Local Atomicity to Atomicity in the Cloud
Atomicity is a fundamental concept in computer science. Initially it was defined as an abstraction to be used in a local context. But over time, its use has expanded or scaled as application programmers have come to rely on it. This reliance is based on atomicity’s ability to make concurrent systems understandable and applications much simpler to program. Atomicity has multiple origins, but it ...
متن کاملProcedures and Atomicity Refinement
We deene a return statement for procedures in an action systems framework and show that it corresponds to carrying out an atomicity reenement. Hence, the introduction of an early return from a (remote) procedure call can increase the degree of parallelism in a parallel or distributed algorithm modelled by an action system.
متن کاملAtomicity and Normalization
A common aim of data modeling approaches is to produce schemas whose instantiations are always redundancy-free. This is especially useful when the implementation target is a relational database. This paper contrasts two very different approaches to attain a redundancy-free relational schema. The ObjectRole Modeling (ORM) approach emphasizes capturing semantics first in terms of atomic (elementa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2011
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-011-0216-1